syntax for synchronous reset and asynchronous reset